x :: Integer